#ifndef _PTHREAD_INFO_H
#define _PTHREAD_INFO_H
#include <pthread.h>
void display_stack_related_attributes(pthread_attr_t *attr, char *prefix);
void display_thread_attributes(pthread_t thread, char *prefix);
void display_pthread_attr(pthread_attr_t *attr, char *prefix);
#endif